#include "isr.h"

#ifndef INT80_H
#define	INT80_H

// para ver los numeros de las syscalls en unix: http://asm.sourceforge.net/syscall.html

typedef uint32_t (*int80_t)(registers_t*);
void register_functionality(uint8_t n, int80_t func);
void init_int80();

#endif	/* INT80_H */
